COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	1. Should have talked to GJS and MM in more detail.
C00004 ENDMK
C⊗;
1. Should have talked to GJS and MM in more detail.
2. As an outline of a project, the Doyle thesis is implausible.
More things are postulated than I can believe a human uses,
and I doubt that it adds up to a defintie structure.

Most likely there are good ideas in it, and Doyle should attempt
something rather narrow next.  For example, he might work out
in more detail thinking about what to think about
or sentences about control structures
or how to use records of past reasoning.

If he is theoretical enough, he should make the ideas definite
without programming first.  Otherwise, he will have to
write programs from the start.